Continuously Parameterized Symmetries and Buchberger's Algorithm
نویسنده
چکیده
Systems of polynomial equations often have symmetries. In solving such a system using Buchberger's algorithm, the symmetries are neglected. Incorporating symmetries into the solution process enables us to solve larger problems than with Buchberger's algorithm alone. This paper presents a method that shows how this can be achieved and also gives an algorithm that brings together continuously parameterized symmetries with Buchberger's algorithm.
منابع مشابه
Applying Buchberger's criteria on Montes's DisPGB algorithm
The concept of comprehensive Grobner bases was introduced by Weispfenning. Montes has proposed an efficient algorithm for computing these bases. But he has not explicitly used Buchberger's criteria in his algorithm. In this paper we prove that we can apply these criteria on Montes algorithm. We propose a modified version of Montes algorithm and evaluate its performance via some examples.
متن کاملIMPLEMENTING DOMAINS AND CATEGORIES IN MATHEMATICA BY MEANS OF PARAMETERIZED TYPES Presented at 4 International Workshop SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Symbolic computation in algebraic categories provides computer implementations for modern algebra theories. The present paper reveals the utility of the parameterized categorical approach by deriving a multivariate polynomial category (over various coefficient domains), which is used by our Mathematica implementation of Buchberger’s algorithms for determining the Gröbner basis. These implementa...
متن کاملReduction of Systems of Nonlinear Partial Diierential Equations to Simpliied Involutive Forms
We describe the rif algorithm which uses a nite number of diierentiations and algebraic operations to simplify analytic nonlinear systems of partial diierential equations to what we call reduced involutive form. This form includes the integrability conditions of the system and satisses a constant rank condition. The algorithm is useful for classifying initial value problems for determined pde s...
متن کاملFuzzy adaptive tracking control for a class of nonlinearly parameterized systems with unknown control directions
This paper addresses the problem of adaptive fuzzy tracking control for aclass of nonlinearly parameterized systems with unknown control directions.In this paper, the nonlinearly parameterized functions are lumped into the unknown continuous functionswhich can be approximated by using the fuzzy logic systems (FLS) in Mamdani type. Then, the Nussbaum-type function is used to de...
متن کاملADAPTIVE FUZZY TRACKING CONTROL FOR A CLASS OF PERTURBED NONLINEARLY PARAMETERIZED SYSTEMS USING MINIMAL LEARNING PARAMETERS ALGORITHM
In this paper, an adaptive fuzzy tracking control approach is proposed for a class of single-inputsingle-output (SISO) nonlinear systems in which the unknown continuous functions may be nonlinearlyparameterized. During the controller design procedure, the fuzzy logic systems (FLS) in Mamdani type are applied to approximate the unknown continuous functions, and then, based on the minimal learnin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 33 شماره
صفحات -
تاریخ انتشار 2002